Boolean satisfiability problem - PDFSEARCH.IO - Document Search Engine

Boolean satisfiability problem
Results: 324

#	Item
241	Boolean QE for Automotive Configuration Zengler, K¨ uchlin Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:29 Boolean algebra True quantified Boolean formula Quantifier elimination Boolean satisfiability problem Model theory Quantification FO Propositional calculus Mathematical logic Theoretical computer science Logic
242	Faculty Candidate Talk: Wednesday, April 6, 2005, 4-5 p.m. 306 Soda “Reasoning about Reliability and Security Using Boolean Methods” Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2005-03-07 18:39:06 Electronic design automation Formal methods NP-complete problems Logic in computer science Model theory Uclid Boolean satisfiability problem Decision problem Satisfiability Theoretical computer science Mathematics Computational complexity theory
243	HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars ADAM KIEZUN, Brigham and Women’s Hospital / Harvard Medical School VIJAY GANESH, Massachusetts Institute of Technology SHA Add to Reading List Source URL: www.pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Theoretical computer science SQL injection SQL Hampi Context-free grammar String Constraint programming Boolean satisfiability problem Formal grammar Formal languages Computing Software engineering
244	Satisfiability Modulo Software Michal Jan Moskal PhD Thesis Supervisor: Prof. Leszek Pacholski Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-22 14:10:57 Formal methods Logic in computer science Electronic design automation NP-complete problems Numerical software Satisfiability Modulo Theories Boolean satisfiability problem Solver Lis Theoretical computer science Applied mathematics Mathematics
245	Property Analysis and Design Understanding in a Quality-Driven Bounded Model Checking Flow Ulrich K¨uhne Daniel Große Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2009-01-19 06:14:40 Applied mathematics Logic in computer science Boolean algebra Hardware verification languages Diagrams Formal verification Model checking Binary decision diagram Boolean satisfiability problem Theoretical computer science Electronic engineering Formal methods
246	Automation for Vehicle and Habitat Operations IReliable Software for Exploration Systems Procedure Integrated Development Environment (PRIDE) Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-04-30 15:42:43 Applied mathematics Electronic engineering Electronic design automation Formal verification PowerPC Boolean satisfiability problem Theoretical computer science Formal methods Logic in computer science
247	Reliable Software for Exploration Systems Integrated System Health Management An Efficient Parallel SAT Solver Exploiting Multi-Core Environments Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-04-30 15:42:43 Applied mathematics Logic in computer science Pharmaceutical industry Validity Systems engineering Boolean satisfiability problem Verification and validation Parallel computing Formal verification Theoretical computer science Formal methods Electronic engineering
248	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory
249	The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-08-24 21:10:43 NP-complete problems Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability Unit propagation Clause Theoretical computer science Mathematics Applied mathematics
250	Phase transitions in NP-complete problems: a challenge for probability, combinatorics, and computer science Cristopher Moore University of New Mexico and the Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2010-10-12 20:57:56 Complexity classes Mathematical optimization NP-complete problems Structural complexity theory NP-complete NP Boolean satisfiability problem P versus NP problem 2-satisfiability Theoretical computer science Computational complexity theory Applied mathematics

UPDATE